Abstract deduction and inferential models for type theory
نویسندگان
چکیده
منابع مشابه
Abstract deduction and inferential models for type theory
Deduction and Inferential Models for Type Theory Paolo Gentilini, Maurizio Martelli ANSAS Liguria, Via Assarotti 15, Genova, Italy
متن کاملGeneral Theory of Inferential Models Ii
This paper is a continuation of the authors' theoretical investigation of inferential model (IMs); see Martin, Hwang and Liu (2010). The fundamental idea is that prior-free posterior probability-like inference with desirable long-run frequency properties can be achieved through a system based on predicting unobserved auxiliary variables. In Part I, an intermediate conditioning step was proposed...
متن کاملInferential Models
Probability is a useful tool for describing uncertainty, so it is natural to strive for a system of statistical inference based on probabilities for or against various hypotheses. But existing probabilistic inference methods struggle to provide a meaningful interpretation of the probabilities across experiments in sufficient generality. In this paper we further develop a promising new approach ...
متن کاملInferential models for linear regression
Linear regression is arguably one of the most widely used statistical methods. However, important problems, especially variable selection, remain a challenge for classical modes of inference. This paper develops a recently proposed framework of inferential models (IMs) in the linear regression context. In general, the IM framework is able to produce meaningful probabilistic summaries of the sta...
متن کاملGeneral Theory of Inferential Models I. Conditional Inference
As applied problems have grown more complex, statisticians have been gradually led to reconsider the foundations of statistical inference. The recently proposed inferential model (IM) framework of Martin, Zhang and Liu (2010) achieves an interesting compromise between the Bayesian and frequentist ideals. Indeed, inference is based on posterior probability-like quantities, but there are no prior...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2010
ISSN: 0890-5401
DOI: 10.1016/j.ic.2010.03.002